disjunctive normal form
英
美
析取范式
双语例句
- Research on the primary disjunctive normal form of fuzzy logic function
模糊逻辑函数的主析取范式的研究 - This paper deals with the simplification of Fuzzy function from disjunctive normal form to simplest form several sufficient and necessary conditions are displayed.
讨论了Fuzzy函数的析取范式化为最简式的问题，得到了几个充分必要条件。 - A Surface-based DNA Algorithm for the Conversion of Conjunctive Normal Form into Disjunctive Normal Form The Policy of the Chinese International Bank Buying
合取范式化为析取范式的DNA表面计算中国银行业跨国并购的策略选择&基于OLI框架的分析 - The anthor also gives a general method for the simplification of Fuzzy function from disjunctive normal form to simplest form.
同时给出了Fuzzy函数的析取范式化为最简式的一般方法。 - Then it is shown that the disjunctive normal form family { On} is a hard example for the bifurcation method. This shows that algorithms based on the bifurcation method are all characterized by time complexity in the exponential form.
最后通过{On}这个实例证明了基于二分法所构造出的算法均具有指数型时间复杂度。 - Disjunctive Normal Form Generation Algorithm for Discernibility Function in Rough Set Theory
粗糙集理论中分辨函数的析取范式生成算法 - Firstly, a classification-tree is constructed based on specification of the test object, and then test cases obtained from the classification-tree are refined by generating a disjunctive normal form.
由软件的形式规格说明构造分类树，再把由分类树方法得到的测试用例转化为析取范式，进一步精炼测试用例。 - In propositional calculus system of medium logic ( MP~), superior disjunctive normal form theorem and two corollary have been proved.
本文证明了MP~中的完全析取范式定理及其两个推论。文中也给出了判别Γ（？） - With respect to the principal disjunctive normal form and the principal conjunctive normal form, we also approach the properties of the subscript sets derived from the minimum term and maximum term.
讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质，利用主范式的下标集合得到了命题公式蕴涵的几个充要条件。 - Through making the best of absorptivity of conjunctive disjunctive operation, based on the mechanism of artificial normal form conversion, an algorithm transforming a discernibility function from conjunction normal form to disjunction normal form is proposed with virtue of queue structure.
依据人工范式转换的运行机制，充分利用合取运算和析取运算的吸收率，并借助队列结构，提出了一种面向分辨函数的范式转换算法。